Diagnosis and Diagnosability of Discrete Event Systems using Petri Nets
نویسندگان
چکیده
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملDecentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets
In this paper we present a procedure to analyze the diagnosability of a Petri net system in a decentralized framework. We recall the definition of failure ambiguous strings, i.e., strings that can be both faulty or not in the decentralized case, while can be distinguished in a centralized framework. We first prove that the absence of such kind of strings guarantees that the system is diagnosabl...
متن کاملDistributed Diagnosis of Discrete-Event Systems Using Petri Nets
The problem of detecting and isolating fault events in dynamic systems modeled as discrete-event systems is considered. The modeling formalism adopted is that of Petri nets with labeled transitions, where some of the transitions are labeled by different types of unobservable fault events. The Diagnoser Approach for discrete-event systems modeled by automata developed in earlier work is adapted ...
متن کاملFault Diagnosis of Discrete Event Systems Using Petri Nets
This talk focuses on on-line fault diagnosis of discrete event systems based on Petri nets. In particular a diagnosis approach based on the notion of basis markings and justifications is discussed. This concept allows us to represent the reachability space in a compact manner, i.e., it requires to enumerate only a subset of the reachability space. Arbitrary labeled Petri nets are considered as ...
متن کاملDiscrete Event Diagnosis using Petri Nets
This paper serves as a support for the plenary address given by the second author during the conference. In this paper we present an approach to on-line diagnosis of discrete event systems based on labeled Petri nets, that are a particular class of Petri nets where some events are undistinguishable, i.e., events that produce an output signal that is observable, but that is common to other event...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2015
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2015.09.524